展开 拉格朗日证明ex>ex